BEGIN "TSTLP4"
   REQUIRE PNAMES;
   require "lp4mat.rel" load!module;
   external procedure lp4mat;
   item a,b,c,d,e,f;
   make a xor b eqv c;
   make d xor e eqv f;
   lp4mat;
end